Советский философский словарь - гильберт хильберт давид
Связанные словари
Гильберт хильберт давид
гильберт хильберт давид
(23. 1. 1862, Велау, близ Кенигсберга, 14.2.1943, Гёттинген), нем. математик и логик. Осн. труды в области оснований математики и математич. логики. В 1899 дал строго аксиоматич. построение геометрии Евклида, предопределившее дальнейшее развитие исследований по аксиоматизации науч. знания. Г. выдвинул обширный план обоснования математики путём её полной формализации («Основания математики», совм. с VI. Бернайсом, т. 1-2, 1934-39, рус. пер. т. 1, 1979), однако программа Г. оказалась невыполнима. Подход Г. к обоснованию математики привёл к появлению формализма, а также нового раздела математикиметаматематики (теории доказательств). Г. принадлежит ряд важных работ в области исчисления высказываний и исчисления предикатов. в рус. пер.: Основы теоретич. логики, М., 1947 (совм. с В. Аккерманом); Основания геометрии, М.Л., 1948.
Pид К., Г., пер. с англ., М., 1977 (с приложением обзора Г. Вейля математич. тр. Гильберта).
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1735 | |
2 | 1417 | |
3 | 1216 | |
4 | 1148 | |
5 | 1136 | |
6 | 1101 | |
7 | 905 | |
8 | 834 | |
9 | 790 | |
10 | 757 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 700 | |
15 | 697 | |
16 | 682 | |
17 | 678 | |
18 | 654 | |
19 | 649 | |
20 | 630 |